退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用逻辑编程和saT分析Intel Itanium存储器排序规则
Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom; Konrad Slind;
机译:使用数据收集和SAT求解器的传统可编程逻辑控制器自动状态机重建
机译:内核机器在Hopfield网络中进行逻辑编程以解决非喇叭问题3sat
机译:通过SAT检查器增强逻辑逻辑编程系统
机译:使用逻辑编程和SAT分析Intel Itanium内存排序规则
机译:学习计划的层次分解规则:归纳逻辑编程方法。
机译:使用支持向量归纳逻辑编程发现蛋白质配体特异性的规则
机译:使用动态检测精确定位大型Intel Itanium程序的代表性部分
机译:谓词逻辑公式创建系统,会计日记帐规则创建设备,会计日记帐设备,谓词逻辑公式创建程序,会计规则创建程序以及会计日记帐程序
机译:预测逻辑公式创建设备,摘要日记规则创建设备,摘要日记规则设备,预测逻辑公式创建程序,摘要日记规则创建程序和摘要日记程序
机译:语音分析装置,语音分析/综合装置,校正规则信息产生装置,语音分析系统,语音分析方法,校正规则信息产生方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。